201. Some Tapas of Computer Algebra
پدیدآورنده: edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Algebra.,Algorithms.,Combinatorics.,Mathematics.
202. Some tapas of computer algebra
پدیدآورنده : Arjeh M. Cohen,Hans Cuypers,Hans Sterk (eds.)
موضوع : Algebra - Data processing
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
203. Some tapas of computer algebra
پدیدآورنده: / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Algebra, Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
204. Some tapas of computer algebra
پدیدآورنده: / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algebra- Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
205. Some tapas of computer algebra
پدیدآورنده: / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Algebra- Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
206. Some tapas of computer algebra
پدیدآورنده: Arjeh M. Cohen, Hans Cuypers, Hans Sterk )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing ، Algebra
رده :
QA
155
.
7
.
E4
S65
1999
207. Some tapas of computer algebra
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Algebra- Data processing
رده :
512
S695
208. Some tapes of computer algebra
پدیدآورنده: / edited by A.M. Cohen, Hans Cuypers and H. Sterk
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Algebra- Data processing
رده :
QA155
.
7
.
E4S65
1999
209. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
210. Systems of reductions
پدیدآورنده: / B. Benninghofen, S. Kemmerich, M.M. Richter
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Rewriting systems (Computer science),Algebra, Universal -- Data processing,Computer algorithms
رده :
QA
267
.
B46
1987
211. Systems of reductions
پدیدآورنده: B. Benninghofen, S. Kemmerich, M. M. Richter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Algorithms
رده :
QA
76
.
L28
Vol
.
277
212. The beauty of mathematics in computer science /
پدیدآورنده: Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
رده :
QA76
.
9
.
M35
W84
2019
213. The power of geometric algebra computing
پدیدآورنده: / Dietmar Hildenbrand.,Hildenbrand, Dietmar,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Clifford algebras.,Conformal geometry.,Quantum computing.,Engineering,Data processing.
رده :
QA199
.
H5526
2022
214. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
215. Topics in Computational Algebra
پدیدآورنده: edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
216. correcting codes-Applied algebra, algebraic algorithms and error
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: correcting codes (Information theory) ; Congresses. ; Algebra ; Data processing ; Congresses. ; Algorithms ; Congresses. ; Computeralgebra ; Kongress ; Tarragona <2009> ; Fehlerkorrekturcode ; Kongress ; Tarragona <2009> ; Kryptologie ; Kongress ; T-Error
217. first course in numerical methods
پدیدآورنده: / Uri M. Ascher, Chen Greif
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Numerical calculations -- Data processing,Numerical analysis,Algorithms
رده :
EBL
542
218. ایدهآلها، چندگوناها و الگوریتمها
پدیدآورنده: / دیوید کاکس، جان لیتل، دونال اشی,عنوان اصلی:.Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra, 4th ed., 2015,کاکس,Cox
کتابخانه: کتابخانه کوی دانشگاه تهران (دانشگاه تهران) (تهران)
موضوع: حساب هندسی,Geometry, Algebraic,جبر تعویض‌پذیر,Commutative algebra, -- داده‌پردازی, -- Data processing, -- داده‌پردازی, -- Data processing,a01,a01,a02,a02
رده :
QA
۵۶۴
/
ک
۲
الف
۹ ۱۴۰۰
